Modal algebra - PDFSEARCH.IO - Document Search Engine

Modal algebra
Results: 105

#	Item
91	Consequence Finding in ALC Meghyn Bienvenu IRIT, Universit´e Paul Sabatier Toulouse, France [removed] Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Propositional calculus Boolean algebra Philosophical logic Modal logic Prime number Description logic Function Propositional formula Logic Mathematical logic Mathematics
92	PDF Document Add to Reading List Source URL: www.mi.sanu.ac.rs Language: English - Date: 2009-07-14 10:07:18 Propositional calculus Boolean algebra Substructural logic Philosophical logic Relevance logic Negation Intuitionistic logic Modal logic BL Logic Mathematical logic Non-classical logic
93	Chapter 3 The While programming Add to Reading List Source URL: profs.sci.univr.it Language: English - Date: 2013-11-04 05:17:47 Boolean algebra Deduction Entailment Metalogic Modal logic Negation Logic Philosophical logic Propositional calculus
94	Categorical and Kripke Semantics for Constructive S4 Modal Logic Natasha Alechina1 , Michael Mendler2, Valeria de Paiva3 , and Eike Ritter4 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 11:12:09 Modal logic Philosophical logic Non-classical logic Logic in computer science Kripke semantics Intuitionistic logic General frame Natural deduction Interior algebra Logic Mathematical logic Mathematics
95	Lax Logical Relations Gordon Plotkin1 , John Power1 , Donald Sannella1 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-30 10:44:07 Model theory Structure Parity of a permutation Interpretation Tensor product Orbifold Modal companion Abstract algebra Mathematics Algebra
96	Boundary Algebra: A Simple Notation for Boolean Algebra and the Truth Functors Add to Reading List Source URL: www.lawsofform.org Language: English - Date: 2011-01-15 01:04:23 Boolean algebra Algebraic structures Algebraic logic Laws of Form Existential graph First-order logic Principia Mathematica Paul Halmos Modal logic Mathematics Logic Mathematical logic
97	´ ´ H. ANDREKA, Add to Reading List Source URL: www.math-inst.hu Language: English - Date: 2003-08-05 15:11:27 Abstract algebra Abstract algebraic logic Cylindric algebra Boolean algebra Alfred Tarski Universal algebra General frame Modal logic Model theory Mathematical logic Algebraic logic Mathematics
98	Temporal Logic with “Until”, Functional Reactive Programming with Processes, and Concrete Process Categories Add to Reading List Source URL: www.ioc.ee Language: English - Date: 2012-11-14 10:13:24 Mathematics Linear temporal logic Temporal logic Monad Limit Initial and terminal objects Functor Modal logic Cone Category theory Abstract algebra Adjoint functors
99	Foundational Material • • Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2008-07-30 16:25:43 Propositional calculus Boolean algebra Logical connective If and only if Forcing Converse Existential quantification Modal logic Mathematical induction Logic Mathematical logic Mathematics
100	Deontic Logic G. H. von Wright Mind, New Series, Vol. 60, No[removed]Jan., 1951), pp. 1-15. Add to Reading List Source URL: www.filosofiajuridica.com.br Language: English - Date: 2007-08-22 16:35:38 Semantics Propositional calculus Boolean algebra Modal logic Philosophical logic Deontic logic Negation Truth table Tautology Logic Mathematical logic Mathematics

UPDATE